Toggle Equivalence Preserving Logic Synthesis

Earlier, a theory was introduced that enabled a method of scalable logic synthesis. In this method, given a circuit N1 and its partition into subcircuits N1 , i=1,..k, an optimized circuit N2 functionally equivalent to N1 is built by replacing each subcircuit N1 i with a toggle equivalent counterpart N2 . To implement this method in practice, one needs a procedure that, given a multi-output subcircuit N1 , builds another multi-output subcircuit N2 i that is toggle equivalent to N1 . In this report, we introduce such a procedure and test it on MCNC benchmarks. Experiments show great potential of the new method of logic synthesis.